241. Mathematical logic and the foundations of mathematics
پدیدآورنده : / G.T. Kneebone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K673
2001
242. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
243. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
244. Mathematical logic for computer science
پدیدآورنده : Lu, Zhong-Wan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
245. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
246. Mathematical thought from ancient to modern times
پدیدآورنده : / Morris Kline
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics - Philosophy,Logic - Symbolic and mathematical
رده :
510
.
1
Kl-M
247. Mathematics and Plausible reasoning
پدیدآورنده : PolYa, George
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
P57
248. Mathematics and logic for digital devices
پدیدآورنده : Culbertson, James Thomas
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
249. Mathematics and plausible reasoning
پدیدآورنده : Polya, George
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
P57
1954
250. Mathematics and plausible reasoning
پدیدآورنده : / by G. Polya-Princeton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
510
.
1
P781
251. Mathematics and plausible reasoning
پدیدآورنده : Polya,George,
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
P57
1968
252. Mathematics and plausible reasoning
پدیدآورنده : Polya, George
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Mathematics - Philosphy , Logic, symbolic and mathematical
رده :
QA
9
.
P57
253. Mathematics and plausible reasoning princeton
پدیدآورنده : Gyorgy polya
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
254. Mathematics for computer students
پدیدآورنده : Witton, Rex
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W57
1992
255. Mathematics, models, and modality. selected philosophical
پدیدآورنده : Burgess, John P.,8491-
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
B87
2008
256. Mathematics of Fuzzy Sets
پدیدآورنده : edited by Ulrich Höhle, Stephen Ernest Rodabaugh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
257. Mathematics of Ramsey Theory
پدیدآورنده : edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
258. Mathematiques et logique Retrospective et perspectives
پدیدآورنده : / Mark Kac, Stanislaw M. Ulam; traduit par Philippe Gatbois
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical,Mathematics
رده :
511
.
3
Ka-M
259. Mathematische gesetze der logik
پدیدآورنده : Schmidt, H. Arnold
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
S35
260. Meaning and existence in mathematics
پدیدآورنده : Castonguay, Charles.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
C34
